Modeling language - PDFSEARCH.IO - Document Search Engine

Modeling language
Results: 3143

#	Item
251	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype
252	Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe: Add to Reading List Source URL: nwpt07.ifi.uio.no Language: English - Date: 2007-10-05 08:06:40 Theoretical computer science Davide Sangiorgi Modeling language Object-oriented programming Coinduction
253	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
254	Domain Specific - a Binary Decision ? Markus Voelter Bernhard Merkle independent/itemis Add to Reading List Source URL: voelter.de Language: English - Date: 2015-08-19 04:34:19 Programming paradigms Language workbench Domain-specific language JetBrains MPS Modeling language Xtext Domain-specific modeling Programming language Software development Scripting language Visual programming language Abstraction
255	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Scientific modeling Differential equations Diagrams Software architecture Architecture description language Modeling language Hybrid system Object Process Methodology Hybrid automaton Component-based software engineering Conceptual model Model checking
256	Automatic Semantic and Geometric Enrichment of CityGML Building Models using HoG-based Template Matching Jon Slade, Christopher B. Jones and Paul L. Rosin Abstract Semantically rich 3D building models give the potential Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2016-03-26 10:21:11 GIS file formats CityGML Computer graphics Template matching Keyhole Markup Language 3D modeling Texture mapping
257	Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2010) Add to Reading List Source URL: gres.uoc.edu Language: English - Date: 2011-06-14 18:01:44 Unified Modeling Language Object Constraint Language ECO Acceleo Eclipse Domain-specific language Tern Use case Model-driven architecture
258	Improving Language Model Size Reduction using Better Pruning Criteria Jianfeng Gao Min Zhang1 Add to Reading List Source URL: www.thuir.org Language: English - Date: 2008-03-24 08:40:48 Statistical theory Language modeling Natural language processing Computational linguistics Statistical natural language processing Bigram Perplexity Pruning Language model N-gram Entropy Principle of maximum entropy
259	HATS Abstract Behavioral Specification: The Architectural View? Reiner Hähnle1 , Michiel Helvensteijn2 , Einar Broch Johnsen3 , Michael Lienhardt4 , Davide Sangiorgi4 , Ina Schaefer5 , and Peter Y. H. Wong6 1 Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-26 08:01:20 Feature-oriented programming Feature model SystemC R Business process modeling Modeling language Delta Workflow Prototype
260	Towards HorizonLasaponara R., Masini N., Biscione M., Editors EARSeL, 2013 The EAGLE concept – A vision of a future European Add to Reading List Source URL: www.earsel.org Language: English - Date: 2015-11-28 10:19:07 Geography Unified Modeling Language Data model Matrix Geographic information system Copernicus Programme Landscape Element Land cover

UPDATE